<body>
implementations of VariableInstance.
</body>